["Checkout Test Language: An Interpretive Language Designed

for Aerospace Checkout Tasks", G.S. Metsker, Proc FJCC 33(2)

(1968)].